181. VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings
پدیدآورنده : VDM '19 )1991: Noordwijkerhout, Netherlands(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
V36
1991
182. Vdm 87:vdm,a formal method at work:vdm-europe symposium 1987,
پدیدآورنده : BJORNER,DINES
کتابخانه: (طهران)
موضوع : COMPUTER SOFTWARE-DEVELOPMENT-CONGRESSES , COMPUTER SOFTWARE INDUSTRY-EUROPEAN
رده :
QA
76
.
76
.
D47
V85
1987
183. based software engineering-Component
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
184. embedded world 2003 conference: Grundlagen, Architekturen, Werkzeuge and Losungen 18 - 20 ,Februar
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : congresses ، Embedded computer systems - programming,congresses ، computer software - development
185. formal Software Development: From VDM to JAVA
پدیدآورنده : Charatan, Quentin,Quentin Charatan and Aaron Kans
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer software- Development- Congresses
رده :
QA
76
.
76
.
C45F62